Exploring Paraconsistency in Degree-Preserving Fuzzy Logics
نویسندگان
چکیده
Paraconsistent logics are specially tailored to deal with inconsistency, while fuzzy logics primarily deal with graded truth and vagueness. In the last decade, mathematical fuzzy logic has been developed as a discipline studying formal many-valued systems arising from fuzzy set theory. In this paper we study to what extent different systems of fuzzy logic are paraconsistent, identifying which families of fuzzy logics satisfy interesting paraconsistency properties.
منابع مشابه
Paraconsistency properties in degree-preserving fuzzy logics
Paraconsistent logics are specially tailored to deal with inconsistency, while fuzzy logics primarily deal with graded truth and vagueness. Aiming to find logics that can handle inconsistency and graded truth at once, in this paper we explore the notion of paraconsistent fuzzy logic. We show that degree-preserving fuzzy logics have paraconsistency features and study them as logics of formal inc...
متن کاملParaconsistency properties in degree-preserving fuzzy logics
Paraconsistent logics are specially tailored to deal with inconsistency, while fuzzy logics primarily deal with graded truth and vagueness. Aiming to find logics that can handle inconsistency and graded truth at once, in this paper we explore the notion of paraconsistent fuzzy logic. We show that degree-preserving fuzzy logics have paraconsistency features and study them as logics of formal inc...
متن کاملParaconsistency properties in degree-preserving fuzzy logics
Paraconsistent logics are specially tailored to deal with inconsistency, while fuzzy logics primarily deal with graded truth and vagueness. Aiming to find logics that can handle inconsistency and graded truth at once, in this paper we explore the notion of paraconsistent fuzzy logic. We show that degree-preserving fuzzy logics have paraconsistency features and study them as logics of formal inc...
متن کاملOn paraconsistency and fuzzy logic
In this communication we will report on the research done on paraconsistency and fuzzy logics as a result of the joint collaboration of two groups of the MatoMUVI project, the Brasilian group of the CLE at the University of Campinas and the Spanish group of IIIA-CSIC from Barcelona. On the one hand, paraconsistency is the study of logics (as deductive systems) having a negation operator ¬ such ...
متن کاملLogics of formal inconsistency arising from systems of fuzzy logic
This paper proposes the meeting of fuzzy logic with paraconsistency in a very precise and foundational way. Specifically, in this paper we introduce expansions of the fuzzy logic MTL by means of primitive operators for consistency and inconsistency in the style of the so-called Logics of Formal Inconsistency (LFIs). The main novelty of the present approach is the definition of postulates for th...
متن کامل